p ve q (Mantık)
Mantıkta, p ve q genellikle önermeleri temsil etmek için kullanılan sembollerdir. Bir önerme, doğru veya yanlış olabilen bir ifadedir.
- p: Birinci önerme
- q: İkinci önerme
Bu önermeler, mantıksal bağlaçlar kullanılarak birleştirilerek daha karmaşık ifadeler oluşturulabilir. Örneğin:
- p ve q: Her iki önerme de doğruysa doğru, aksi takdirde yanlıştır (veya bağlacı).
- p veya q: Önermelerden en az biri doğruysa doğru, her ikisi de yanlışsa yanlıştır (veya bağlacı).
- p ise q: p doğruysa ve q yanlışsa yanlıştır, diğer tüm durumlarda doğrudur (koşullu önerme).
- p ancak ve ancak q: p ve q'nun doğruluk değerleri aynıysa doğru, farklıysa yanlıştır (çift koşullu önerme).
- ¬p: p'nin değilidir (olumsuzu)(değilleme).